$\forall$$a$:$\mathbb{Z}^{-\circ}$, $b$:$\mathbb{Z}$. $a$$\cdot$$b$ $\mid$ $a$ $\Rightarrow$ ($b$ $\sim$ 1)